Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
981	Tobias Nipkow Gerwin Klein C Add to Reading List Source URL: concrete-semantics.org Language: English - Date: 2015-04-08 16:10:15 Logic in computer science Programming language semantics Formal sciences Formal languages Formal methods Denotational semantics Semantics of programming languages Isabelle Mathematical proof Theoretical computer science Mathematics Logic
982	Microsoft PowerPoint - iccad08-tutorial-ALL [Compatibility Mode] Add to Reading List Source URL: www.ece.vt.edu Language: English - Date: 2012-10-24 15:39:27 Formal methods Program logic Logic in computer science Electronic design automation NP-complete problems Hoare logic Boolean satisfiability problem Control flow Correctness Theoretical computer science Applied mathematics Mathematics
983	Convergence Refinement Murat Demirbas Anish Arora Department of Computer and Information Science Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2007-11-26 13:31:19 Fault-tolerant computer systems Self-stabilization Formal specification Vector space Algorithm Algebra Mathematics Formal methods
984	Kinship Software Technical Working Group Meeting Add to Reading List Source URL: www.crimtrac.com Language: English - Date: 2013-02-17 20:22:05 Pharmaceutical industry Validity Formal methods Quality Validation Allele frequency Software development process Backup XML Computing Science Population genetics
985	Implementing a Software Development Process Implementing a Software Development Process.............................................1 1. Process must be: Based of Best Practises .......................................... Add to Reading List Source URL: dthomas-development.co.uk Language: English - Date: 2014-12-19 09:39:33 Software project management Project management Formal methods Software engineering IBM Rational Unified Process Unified Process Iterative and incremental development Systems development life-cycle Project manager Software development Software Software development process
986	Extensible Specifications for Automatic Re-Use of Specifications and Proofs Daniel Matichuk1 and Toby Murray1,2 1 2 Add to Reading List Source URL: ssrg.nicta.com.au Language: English - Date: 2013-10-20 22:09:38 Computing Formal verification Isabelle Formal specification Microkernel Haskell B-Method L4 microkernel family Proof assistant Formal methods Theoretical computer science Applied mathematics
987	Toward a Practical Module System for ACL2 Carl Eastlund and Matthias Felleisen Northeastern University Boston, Massachusetts, U.S.A. {cce, matthias}@ccs.neu.edu Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Holism ACL2 Formal methods Model theory Automated theorem proving Nqthm Common Lisp Modular programming Software engineering Computer programming Computing
988	Proof General Organize your proofs! User Manual for Proof General 4.2pre January 2012 proofgeneral.inf.ed.ac.uk Add to Reading List Source URL: proofgeneral.inf.ed.ac.uk Language: English - Date: 2015-04-19 00:44:55 Functional languages Proof assistant Mathematical logic Theoretical computer science Emacs Coq Isabelle Formal verification Mathematical proof Software Automated theorem proving Formal methods
989	Microsoft Word - pdfreport-ba-coaching Add to Reading List Source URL: www.corpedgroup.com Language: English - Date: 2011-11-02 13:35:44 Software requirements Project management Formal methods Business analysis Business analyst Software development process Requirement Software development methodology Business requirements Software development Software Business
990	Secure Virtualization with Formal Methods Cynthia Sturton Electrical Engineering and Computer Sciences University of California at Berkeley Add to Reading List Source URL: www.eecs.berkeley.edu Language: English - Date: 2013-12-19 00:17:07 Hardware virtualization X86 architecture X86 virtualization Model checking Virtualization Hypervisor Formal methods Verification and validation Bochs System software Software Virtual machines